Nuprl Definition : invert-union
11,40
postcript
pdf
invert-union(
x
) == case
x
of inl(
a
) => inr
a
| inr(
a
) => inl
a
latex
Definitions
case
b
of inl(
x
) =>
s
(
x
) | inr(
y
) =>
t
(
y
)
,
inr
x
,
inl
x
FDL editor aliases
invert-union
origin